THE WHITE HOUSE Office of the Press Secretary FOR IMMEDIATE RELEASE September 15, 2016 FACT SHEET: New Progress on Using Behavioral Science Insights to Better Serve the American People

Source URL: sbst.gov

• Tax
• Liberalism in the United States
• Healthcare reform in the United States
• Social programs
• Economy
• Government
• General Services Administration
• Social and Behavioral Sciences Team
• Earned income tax credit
• Social Security
• Microcredit
• Financial market

The Raymond and Beverly Sackler Faculty of Exact Sciences The Blavatnik School of Computer Science New Methods for Side Channel Cryptanalysis Thesis submitted in partial fulfilment of the requirements towards the M.Sc.

Source URL: www.ofirweisse.com

• Cryptography
• Side-channel attacks
• Block ciphers
• Advanced Encryption Standard
• Power analysis
• Cryptanalysis
• International Data Encryption Algorithm

Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin

Source URL: www.kestrel.edu

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Mathematical logic
• Logical truth
• Propositional calculus
• Substitution
• Measure theory
• operator
• Decomposition of spectrum

Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen

Source URL: www.cs.ox.ac.uk

• Estimation theory
• Probability and statistics
• Statistics
• Graph theory
• Markov chain
• Parameter
• Machine learning
• Probability distribution fitting
• Parametric model
• Twisting properties

Exercise Science K-12_BS.pdf

Source URL: catalog.southernct.edu

McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using

Source URL: www.sable.mcgill.ca

• Software
• Computing
• Web programming
• Web browsers
• Mozilla
• Cloud clients
• Portable software
• JavaScript
• Asm.js
• Firefox
• Microsoft Edge
• Google Chrome

Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Electronic engineering
• Logic gates
• Digital electronics
• Electrical engineering
• Electronics
• Electrical circuits
• Digital systems
• Clock signal
• C-element
• Asynchronous circuit
• Sequential logic
• Flip-flop

Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley

Source URL: www.forth.org

• Data types
• Software engineering
• Mathematics
• Computing
• Const
• Transpose
• Matrix
• Programming language syntax
• ELLA

Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,

Source URL: www.prismmodelchecker.org

• Probability
• Dynamic programming
• Markov decision process
• Stochastic control
• PRISM model checker
• Reinforcement learning
• Probabilistic CTL
• Application software

Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Source URL: www.cs.man.ac.uk

• Software
• Automated theorem proving
• Theoretical computer science
• Formal methods
• TPTP
• Proof assistant
• Frama-C
• Theorem prover
• E theorem prover
• Theorem
• Isabelle